Published in: LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Koko Muroya, Takahiro Sanada, and Natsuki Urabe. Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 211, pp. 21:1-21:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{muroya_et_al:LIPIcs.CALCO.2021.21, author = {Muroya, Koko and Sanada, Takahiro and Urabe, Natsuki}, title = {{Preorder-Constrained Simulation for Nondeterministic Automata}}, booktitle = {9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)}, pages = {21:1--21:5}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-212-9}, ISSN = {1868-8969}, year = {2021}, volume = {211}, editor = {Gadducci, Fabio and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.21}, URN = {urn:nbn:de:0030-drops-153762}, doi = {10.4230/LIPIcs.CALCO.2021.21}, annote = {Keywords: simulation, weak simulation, up-to technique, language inclusion, preorder} }
Feedback for Dagstuhl Publishing